<!DOCTYPE html>
<html>
<head>
    <meta charset="utf-8">
    <title>bug 373</title>
    <script type="text/javascript">
        var navigatorIterationError = '';
        try {
            for (var t in navigator) {}
        }
        catch(e) {
            navigatorIterationError = e.toString();
        }
    </script>
</head>
<body>
</body>
</html>